A Framework of a Visual Language with Dynamic Speci cation
نویسندگان
چکیده
Behavior of complex software may be changed depending on external environment such as user pro le, available resources, input data, time, and so on. Design of such dynamic software in conventional languages needs extra e ort to keep consistency among behaviors for all states. In this paper, we propose an object oriented visual language for dynamic software and its visualized speci cation with dynamics presentation. The language supports dynamic behavior according to both time-dependent and time-independent external states based on dynamic objects. In the visualized speci cation, we present uniform dynamics presentation for all elements in the language based on three concepts of snapshot, overlap and sweep.
منابع مشابه
Speci cation-Based Testing for CoCasl's Modal Speci cations
Speci cation-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal speci cation. In the framework of algebraic speci cations, the method for selecting test cases which has widely and e ciently been applied is called axiom unfolding. It has been shown e cient both in terms of quality of the resulting test set, which has been p...
متن کاملThe Formal Speci cation of Oberon
This paper presents the formal speci cation of the programming language Oberon. Using Montages we give a description of syntax, static, and dynamic semantics of all constructs of the language. The speci cation is arranged in ve re nement steps, each of them results in a working sub{language of Oberon. The compactness and readability of the speci cation make us believe that it can be used for a ...
متن کاملEnsuring Correctness of Java Frameworks A Formal Look at JCF
In this paper we propose a novel approach to speci cation development and veri cation of object oriented frameworks employing separate interface inheritance and implementation inheritance hierarchies In particular we il lustrate how our method of framework speci cation and veri cation can be used to specify Java Collections Framework which is a part of the standard Java Development Kit and ensu...
متن کاملTFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems
TFL the Task Formal Language has been developed for integrating the static and dynamic aspects of Knowledge Based Systems This paper focuses on the formal speci cation of dynamic behaviour Although fundamental in Knowledge Based System the strategic reasoning was rather neglected until now by the existing formal speci cations Most languages were generally more focused on the domain and problem ...
متن کاملGcsr: a Graphical Language for the Speciication and Reenement of Real-time Systems
The potential high cost associated with the malfunctioning of real-time systems created a need for a formal framework where a real-time system can be precisely speci ed and rigorously analyzed before its implementation. Although various formal methods for realtime systems have been developed, they tend to be inaccessible to practitioners because of their mathematical textual notations that ofte...
متن کامل